Fuzzy-set based logics - an history-oriented presentation of their main developments

fuzzy logic, 67algebraic semantics, 53approximate reasoning, 6axiomatic extensions of MTL, 56 Bellman, R., 21bipolar possibilistic logic, 93BL logic, 51 canonical chain, 66canonical completeness, 66canonical extension, 83Carnap, R., 3comparative truth, 63compositionality, 29computational complexity, 73core fuzzy logic, 58 De Finetti B., 3degree of inclusion, 84Delta Deduction Theorem, 68DMV-algebra, 72 Frank t-norms, 78fuzzy belief function logic, 105fuzzy closure operator, 83fuzzy consequence relation, 84fuzzy constants, 96fuzzy description logic, 88fuzzy if-then rules, 32fuzzy implication function, 12fuzzy logic, 6, 48fuzzy logic programming system, 80fuzzy logic with equality, 73fuzzy logic with evaluated syntax, 67fuzzy probability logic, 103fuzzy resolution, 79fuzzy set, 7fuzzy truth-value, 21fuzzy type therory, 75 Gödel logic, 51generalized modus ponens, 40graded consequence relation, 83guaranteed possibility, 36 Hájek, P., 51Hoop fuzzy logics, 72hypersequent, 61 implicative closure operators, 85interpolation, 46intuitionistic fuzzy sets, 94 Lee, R.T.C., 27level of inconsistency, 91, 98local deduction theorem, 56logic of supporters, 95logic with an involutive negation, 68logics with ∆, 67 McNaughton theorem, 74Moisil, G., 2Monoidal logic, 57MTL logic, 54multi-adjoint residuated lattice, 81multiple-source possibilistic logic, 95Mundici, D., 73MV-algebras, 53 necessity measure, 18nilpotent minimum, 12